Automatic Acquisition of Search
نویسنده
چکیده
We present two inference control heuristics for equational deduction that are based on the evaluation of previous successful proof attempts in domains of interest. The rst evaluation function works by symbolic retrieval of generalized patterns from a knowledge base, the second function compiles the knowledge into abstract term evaluation trees. Both heuristics have been implemented into the distributed equational proof system DISCOUNT. We analyze the performance of the heuris-tics on several sets of examples (including the subset of all unit-equality problems from the TPTP collection) and demonstrate their usefulness.
منابع مشابه
Automatic Acquisition of Synonyms Using the Web as a Corpus
We present an original algorithm for automatic acquisition of synonyms from text. The algorithm measures the semantic similarity between pairs of words by comparing their local contexts extracted from the Web by series of queries against the Google search engine. The results show 11pt average precision of 63.16%.
متن کاملیک روش جستجوی دو- مرحلهای برای همزمانی سریع سیستمهای باند فوق وسیع در محیطهای چندمسیره
Ultra-wideband (UWB) radio is a promising technology for low-cost, high-rate communications at short ranges. However, high bandwidth and low power of the UWB signals impose some difficult challenges in signal processing and implementation of the receiver. Acquisition of the signal timing is the first task to be performed in a coherent receiver. The high bandwidth of UWB signals demand for fine ...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملAutomatic Acquisition of Similarity between Entities by Using Web Search Engine
Web mining is the application of data mining technology to discover patterns from the web. The various tasks on web such as relation extraction, community mining, document clustering and automatic metadata extraction. A previously proposed web-based semantic similarity measures on three benchmark datasets showing high correlation with human rating. One of the main problems in information retrie...
متن کاملAutomatic Pavement Crack Detection Based on Aerial Imagery
Road health information is an important indicator for assessing the status of the road in management systems. Identifying the abandonment of surfaces is an important process in maintaining roads and traffic safety, which is traditionally conducted on the basis of field surveys. Today, remote sensing methods, especially photogrammetric imaging, are presented. In this article, based on by UAVs im...
متن کاملCompensation of Doppler Effect in Direct Acquisition of Global Positioning System using Segmented Zero Padding
Because of the very high chip rate of global positioning system (GPS), P-code acquisition at GPS receiver will be challenging. A variety of methods for increasing the probability of detection and reducing the average time of acquisition have been provided, among which the method of Zero Padding (ZP) is the most essential and the most widely used. The method using the Fast Fourier Transform (FFT...
متن کامل